Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Artículo	PAMPERO : precise assistant for the modeling process in an environment with refinement orientation	Pons, Claudia Fabiana	(2004)		----------
Tesis	Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos:	Cengia, Javier Andrés	(2003)	Sala	----------